From: Florian Müllner <fmuellner@gnome.org>
Date: Thu, 22 Oct 2020 22:49:03 +0000 (+0200)
Subject: workspace: Adjust spacing
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~509
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=2bd91e738ed7c04291ae5e596949b3f07fedb3f2;p=gnome-shell.git

workspace: Adjust spacing

Icons are always visible, so in order to not have overlays overlap
with other previews, we need to consider the sum of top- and border
oversizes rather than the maximum.

https://gitlab.gnome.org/Teams/Design/os-mockups/-/issues/81

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1605>
---

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index a93ec2726..cb3c212ee 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -464,7 +464,7 @@ var WorkspaceLayout = GObject.registerClass({
         const [leftOversize, rightOversize] = window.chromeWidths();
 
         if (rowSpacing)
-            rowSpacing += Math.max(topOversize, bottomOversize);
+            rowSpacing += topOversize + bottomOversize;
         if (colSpacing)
             colSpacing += Math.max(leftOversize, rightOversize);